push-pull switch - German English Dictionary